#ifndef VCDOTHERTOPBAR_H
#define VCDOTHERTOPBAR_H

#include <gtk/gtk.h>

GtkWidget *vcd_other_topbar_new(void);

#endif // VCDOTHERTOPBAR_H
